#ifndef __SEMAPHORE_USER_H__
#define __SEMAPHORE_USER_H__

typedef struct semaphore_struct * semaphore;

semaphore semaphore_create(int n, int (*func)(void));
int P(semaphore s);
int V(semaphore s);

#endif 
